van Benthamの定理